$\forall$${\it es}$:ES, $P$:(E$\rightarrow\mathbb{P}$), $j$:E. ($\forall$$e$:E. $e$ c$\leq$ $j$ $\Rightarrow$ Dec($P$($e$))) $\Rightarrow$ Dec($\exists$$k$:E. ($k$ c$\leq$ $j$ \& $P$($k$)))